Search Results

[LAFI'22] Program Analysis of Probabilistic Programs

[LAFI'22] Program Analysis of Probabilistic Programs

[LAFI'22] Probabilistic and Differentiable Programming in Scientific Simulators

[LAFI'22] Probabilistic and Differentiable Programming in Scientific Simulators

[LAFI'22] Towards Denotational Semantics of AD for Higher-Order, Recursive, Probabilistic

[LAFI'22] Towards Denotational Semantics of AD for Higher-Order, Recursive, Probabilistic

[LAFI'22] Abstract types in probabilistic programming

[LAFI'22] Abstract types in probabilistic programming

[LAFI'22] Rigorous Approximation of Posterior Inference for Probabilistic Programs

[LAFI'22] Rigorous Approximation of Posterior Inference for Probabilistic Programs

[LAFI'22] Scalable structure learning and inference for domain-specific probabilistic prog

[LAFI'22] Scalable structure learning and inference for domain-specific probabilistic prog

PMAF: An Algebraic Framework for Static Analysis of Probabilistic Programs

PMAF: An Algebraic Framework for Static Analysis of Probabilistic Programs

Algorithmic Analysis of Termination Problems for Affine Probabilistic Programs

Algorithmic Analysis of Termination Problems for Affine Probabilistic Programs

Probabilistic programming: a software engineering perspective

Probabilistic programming: a software engineering perspective

Alex Lew presents on Probabilistic Programming with Correct-by-Construction Densities

Alex Lew presents on Probabilistic Programming with Correct-by-Construction Densities

A Domain Theory for Statistical Probabilistic Programming

A Domain Theory for Statistical Probabilistic Programming

[LAFI'22] Programming Languages for Automatic Differentiation: What Now?

[LAFI'22] Programming Languages for Automatic Differentiation: What Now?